Section: New Software and Platforms

Ssreflect

Functional Description

Ssreflect is a tactic language extension to the Coq system, developed by the Mathematical Components team.

This year we improved the manual of the language, in order to document new features and to clarify some older parts of the document.

• Participants: Cyril Cohen, Yves Bertot, Laurence Rideau, Enrico Tassi, Laurent Thery, Assia Mahboubi and Georges Gonthier

• Contact: Yves Bertot

• URL: http://ssr.msr-inria.inria.fr/